The game quantifier
نویسندگان
چکیده
منابع مشابه
The length-ω1 open game quantifier propagates scales
[T ] is just a typical closed set in the topology on ω1 whose basic neighborhoods are the sets of the form Np = {f : ω1 → ω | p ⊆ f}, where p : α → ω for some countable α. Associated to T is a closed game G(T ) on ω of length ω1: at round α in G(T ), player I plays mα, then player II plays nα. Letting f(α) = 〈mα, nα〉 for all α < ω1, we say that player II wins the run of G(T ) determined by f if...
متن کاملPolymorphic Quantifier
The generalized quantifier theory does not apply to Japanese quantifiers since: i) the number of NP argument is unspecified; and, ii) quantities are often expressed by predicative adjectives. The word order changes the interpretation, e.g., non-split quantifiers correspond to definite NPs with uniqueness and maximality conditions while split NPs are wide scope indefinites. This paper shows that...
متن کاملQuantifier Elimination
Quantifier elimination (QE) is a very powerful procedure for problems involving firstorder formulas over real fields. The cylindrical algebraic decomposition (CAD) is a technique for the “efficient” im plementation of QE, that effectively reduces an seemingly infinite problem into a finite (but potentially large) instance. For much more information about QE and CAD (including a reprint of Tar...
متن کاملBasic Quantifier
1 Preamble According to Lindstrr om 1966 a quantiier is a functor which assigns to each non-empty domain a relation among relations which is closed under isomorphisms. A simple instance of this notion is given by the quantiier`more than half of the', which for each domain E gives the relation between sets A; B E deened by: jfa 2 A : a 2 Bgj > jfa 2 A : a 6 2 Bgj In the present collection of art...
متن کاملThe quantifier complexity of NF
Various issues concerning the quantifier complextity (i.e., number of alternations of like quantifiers) of Quine’s theory NF, its axiomatizations, and some of its subtheories, are discussed.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1972
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1972-0286662-3